A Foundation for Hybrid Knowledge Bases
نویسندگان
چکیده
Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotated Logic Programming (GAP)[7] and employ an inference mechanism, HKB-resolution, that is considerably simpler than those that have been proposed for GAP. The simplicity of HKB-resolution is explained in this paper by showing that it is a special case of ✵-resolution, which was introduced in [9]. A generalization of ✵-resolution to lattices that are not ordinary is also explored.
منابع مشابه
WP1: Ontology reasoning and querying D1.4 Mechanisms and Algorithms for Scalable Hybrid Reasoning
for dissemination) This document provides details required to realize the framework for hybrid reasoning presented in D1.3. In particular, it presents the algorithm for reducing OWL-DL knowledge bases to disjunctive datalog programs. As explained in D1.3, this reduction provides the foundation for interoperability among a great number of formalisms, including, but not limiting to WSML, F-Logic,...
متن کاملGuarded hybrid knowledge bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge bases) as knowledge bases that consist of a Description Logic knowledge base and a guarded logic program, similar to the DL+log knowledge bases from (Rosati 2006). G-hybrid knowledge bases enable an integration of Desc...
متن کاملSplitting and updating hybrid knowledge bases
Over the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. They have recently been used to complement the expressive power of Description Logics (DLs), leading to the study of integrative formal frameworks, generally referred to as hybrid knowledge bases, where both DL axioms and rules can be used to represent knowledge. The need to use ...
متن کاملG-Hybrid Knowledge Bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define g-hybrid knowledge bases as knowledge bases that consist of a Description Logic knowledge base and a guarded logic program, similarly to the DL+log knowledge bases from [25]. G-hybrid knowledge bases enable an integration of Description Logics and Logic Programming where,...
متن کاملInconsistences in Hybrid Knowledge Bases
Hybrid knowledge bases (KBs) are a well-known paradigm for combining nonmonotonic rules and description logic ontologies, which gained increasing attention in the past years. Such hybrid KBs have the potential of becoming very powerful tools for knowledge representation and reasoning. However, the interaction between rules and ontologies might cause undesired inconsistencies, making the whole s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999